Dataflow programming

Results: 111



#Item
61Computer architecture / Parallel computing / Models of computation / Programming paradigms / Computer data / Dataflow / BMDFM / Multi-core processor / Oz / Computing / Concurrent computing / Software engineering

Dataflow in Practice: Transparent Dataflow Programming Model for Multicore and Many-core

Add to Reading List

Source URL: bmdfm.com

Language: English - Date: 2015-02-13 17:40:59
62Dataflow / Programming paradigm / LabVIEW / Oz / Visualization / User interface / Database / Computing / Software engineering / Visual programming languages

VPL: An Active, Declarative Visual Programming System David Lau-Kee, Adam Billyard, Robin Faichney, Yasuo Kozato, Paul Otto, Mark Smith, Ian Wilkinson Canon Research Europe, Surrey Research Park, Guildford, GU2 5YD, UK.

Add to Reading List

Source URL: www.camazotz.com

Language: English - Date: 2012-12-20 12:36:55
63Data types / C++ / Procedural programming languages / Pointer / C / Variable / Dataflow / Reference / ALGOL 68 / Software engineering / Computing / Computer programming

Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 © 2002 Society for Design and Process Science STATIC SOURCE CODE CHECKING FOR USER-DEFINED PROPERTIES Gerard J. Hol

Add to Reading List

Source URL: www.spinroot.com

Language: English - Date: 2008-06-30 15:34:28
64Data types / Cross-platform software / Procedural programming languages / Type theory / Pointer / Main function / C / Static single assignment form / Dataflow / Software engineering / Computing / Computer programming

UNO: Static Source Code Checking for User-Defined Properties 1 Gerard J. Holzmann Bell Laboratories Murray Hill, New Jersey[removed]ABSTRACT

Add to Reading List

Source URL: www.spinroot.com

Language: English - Date: 2008-06-30 15:34:28
65Computing / Local consistency / Constraint satisfaction / Constraint graph / Constraint / Constraint logic programming / Constraint optimization / Constraint programming / Software engineering / Computer programming

Multi-way Dataflow Constraint Propagation in Realtime Collaborative Systems Kai Lin, David Chen and Geoff Dromey Chengzheng Sun School of Information and Communication Technology

Add to Reading List

Source URL: www98.griffith.edu.au

Language: English - Date: 2007-10-15 00:42:00
66Concurrency control / Filesystem permissions / Lock / D / Actor model / Concurrent computing / Immutable object / Parallel computing / Linearizability / Computing / Computer programming / Software engineering

Concurrency by Default Using Permissions to Express Dataflow in Stateful Programs Sven Stork†∗ Paulo Marques∗

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 2009-08-25 12:37:28
67Functional programming / Relational database management systems / Cross-platform software / Monad / Append / Extensible Storage Engine / SQL / Dataflow programming / JavaScript / Computing / Software engineering / Computer programming

Ur/Web: A Simple Model for Programming the Web tifact eu OPL *

Add to Reading List

Source URL: adam.chlipala.net

Language: English - Date: 2014-11-21 08:59:38
68Computer architecture / Dataflow / TinyOS / NesC / Wireless sensor network / Flask / Stream / Programming paradigm / SIGNAL / Computing / Software engineering / Computer data

Flask: A Language for Data-driven Sensor Network Programs Geoffrey Mainland, Matt Welsh, and Greg Morrisett Division of Engineering and Applied Sciences Harvard University {mainland,mdw,greg}@eecs.harvard.edu

Add to Reading List

Source URL: www.eecs.harvard.edu

Language: English - Date: 2006-09-18 10:30:59
69Automata theory / Computer science / Finite-state machine / SIGNAL / Dataflow / Meta-Object Facility / Synchronous programming language / Formal language / Models of computation / Software engineering / Computing

Lost in Translation: Forgetful Semantic Anchoring Daniel Balasubramanian Vanderbilt University Institute for Software Integrated Systems Nashville, TN

Add to Reading List

Source URL: www.isis.vanderbilt.edu

Language: English - Date: 2012-05-01 10:13:00
70Models of computation / Programming paradigms / Parallel computing / Computer data / Dataflow / MapReduce / Extract /  transform /  load / Stream processing / Increment / Computing / Computer architecture / Concurrent computing

Stateful Bulk Processing for Incremental Analytics Dionysios Logothetis Christopher Olston UCSD Computer Science

Add to Reading List

Source URL: cseweb.ucsd.edu

Language: English - Date: 2010-03-19 14:54:43
UPDATE